Automated reasoning - PDFSEARCH.IO - Document Search Engine

Automated reasoning
Results: 284

#	Item
141	Mini-Buckets: A General Scheme for Generating Approximations in Automated Reasoning Rina Dechter Department of Information and Computer Science University of California, Irvine Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2000-11-14 17:35:41 Constraint optimization Mathematical optimization Mathematics Computer programming Local consistency Bayesian network Bucket Bucket sort Radix sort Constraint programming Computing Sorting algorithms
142	SampleSearch: Importance Sampling in presence of Determinism Rina Dechter Donald Bren School of Information and Computer Sciences, Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2010-05-29 22:20:14 Logic in computer science Logic programming Automated reasoning Mathematics Computer science Automated theorem proving Reasoning Applied mathematics
143	Automated Theorem Proving Scott Sanner, Guest Lecture Topics in Automated Reasoning Thursday, Jan. 19, 2006 Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2006-05-25 01:09:25 Model theory Propositional calculus Deduction Resolution First-order logic Interpretation Inference Deduction theorem Modal logic Logic Mathematical logic Automated theorem proving
144	Introduction Automated Reasoning Automated Reasoning and Formal Methods Alan Bundy Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:35 Science Reasoning Mathematical logic Theoretical computer science Formal methods Automated reasoning Mathematical proof Algorithm Reason Logic Mathematics Automated theorem proving
145	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Automated theorem proving Proof theory Logic in computer science Theoretical computer science Isabelle Mathematical proof Proof assistant Theorem Automated reasoning Logic Mathematics Mathematical logic
146	Automated Theorem Proving Scott Sanner, Guest Lecture Topics in Automated Reasoning Thursday, Jan. 19, 2006 Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2006-05-25 01:09:11 Model theory Propositional calculus Rules of inference Resolution First-order logic Interpretation Deduction theorem Inference Unit propagation Logic Mathematical logic Automated theorem proving
147	Domain-Specific Preferences for Causal Reasoning and Planning James P. Delgrande Torsten Schaub∗ Hans Tompits Add to Reading List Source URL: www.cs.sfu.ca Language: English Action language Preference State transition system Artificial intelligence Social choice theory Economics Automated planning and scheduling Models of computation Social psychology
148	Proof Certification in Zenon Modulo: When Achilles Uses Deduction Modulo to Outrun the Tortoise with Shorter Steps∗ David Delahaye1 , Damien Doligez2 , Frédéric Gilbert2 , Pierre Halmagrand1 and Olivier Hermant3 1 Add to Reading List Source URL: bware.lri.fr Language: English - Date: 2014-09-27 11:16:51 Logical syntax Logic in computer science Proof theory Mathematical logic Mathematical proof Theorem Formal proof Automated reasoning Logic Mathematics Automated theorem proving
149	Automated Critique of Sketched Mechanisms Add to Reading List Source URL: spatiallearning.org Language: English - Date: 2010-05-15 15:22:12 Knowledge Cognitive science Educational psychology Scientific method Classical mechanics Qualitative Reasoning Group Ken Forbus System Spatial–temporal reasoning Science Reasoning Ethology
150	Some ideas on a proof technique language Gudmund Grov (Edinburgh) & Lucas Dixon (Google) Sponsored by: EPSRC funded AI4FM project, Bundy’s platform grants & Google 1 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:44 IsaPlanner Combinatory logic Reason Logic Mind Cognition Automated theorem proving Reasoning Lambda calculus

UPDATE